subadditive functional

次加性泛函